Product Code Database
Hans Langmaack (born 7 May 1934) is a German mathematician and computer scientist.
From 1960, Langmaack was an assistant to Klaus Samelson at the University of Mainz and turned to computer science. From 1960 to 1962, he developed with Ursula Hill-Samelson the Algol 60 Alcor Mainz 2002 compiler for Siemens, further developed from 1962 to 1964 at the Technical University of Munich (where Samelson moved in 1963 and where Langmaack followed him as an assistant and later senior assistant) to Alcor Munich 2002. From 1966 to 1967, he was an assistant professor of Computer Science at the Purdue University, and in 1967 he qualified as a professor at the Technical University of Munich (on Lidskii's theorem, concerning of sums of Hermitian matrix). He was then a lecturer and scientific advisor at the Technical University of Munich and, from 1970, a full professor at the University of Saarland. In 1974, he moved to the Christian Albrecht University of Kiel (Chair of Programming Languages and Compiler Construction). In 1999, he became a professor emeritus.
Langmaack was involved in various industrial compiler projects (including Lisp, BASIC, and Pascal) and and worked on verified compilers and automated software verification. From 1989 to 1995, Langaack participated in the EU ESPRIT ProCoS project on Provably Correct Systems, as the site leader at Kiel. He has published on , among other subjects.
In 1973, Langmaack was a visiting scientist at the Federal University of Rio de Janeiro, in 1974 in Oslo, and in 1981 at the University of Wisconsin-Madison. In 1980, he was a co-initiator (with Friedrich L. Bauer and Klaus Indermark) of the biennial colloquium series Programmiersprachen und Grundlagen der Programmierung (KPS, Programming Languages and Fundamentals of Programming). In 1998, he was awarded an honorary doctorate by the Technical University of Munich. A Festschrift volume was published for his retirement in 1999.
|
|
